Constructive Alignment for Teaching Model-Based Design for Concurrency

“How can we make sure our students learn what we want them to?” is the number one question in teaching. This paper is intended to provide the reader with: i) a general answer to this question based on The Theory of Constructive Alignment by John Biggs; ii) relevant insights for bringing this answer from theory to practice; and iii) specific insights and experiences from using constructive alignment in teaching model-based design for concurrency (as a case study in implementing alignment).